VDict mobile
Dictionary - Translation



higher-order objects not found. Suggestions:

higher-order macro
HOL
F-Logic
Lambda Prolog
ASL+
Object Role Modeling
Obliq
OBJ
UFO
first-order
© Vdict mobile
Switch to smart phone version   |   Switch to PC version